Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... 8558 (Lecture Notes in Computer Science)
by Gerwin Klein, Ruben Gamboa
ISBN 13: 9783319089690
Format: Paperback (580 pages) Publisher: Springer Published: 01 Aug 2014
Save for later
Concrete Semantics: With Isabelle/HOL
by Tobias Nipkow,Gerwin Klein
ISBN 13: 9783319357591
Format: Paperback (311 pages) Publisher: Springer Published: 10 Sep 2016
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
